Wyniki
-
Theorem proving with built-in hybrid theories
Uwe Petermann
Logic and Logical Philosophy 6 (1998) s. 77-107 -
On the practical value of Herbrand disjunctions
Uwe Petermann
Logic and Logical Philosophy 8 (2000) s. 153-180